Clarisó, Robert : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (20)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Fukuoka, Japan (2016.7.6-2016.7.8)] 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms

Baneres, David, Caballe, Santi, Clariso, Robert

Année:

2016

Langue:

english

Fichier:

PDF, 492 KB

english, 2016

2

[IEEE 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Crans-Montana, Switzerland (2016.3.23-2016.3.25)] 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification

Jimenez, David Ganan, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Année:

2016

Langue:

english

Fichier:

PDF, 207 KB

english, 2016

3

A UML/OCL framework for the analysis of graph transformation rules

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Journal:

Software & Systems Modeling

Année:

2010

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2010

4

Student projects empowering mobile learning in higher education

Rius, Àngels, Clarisó, Robert, Masip, David

Journal:

International Journal of Educational Technology in Higher Education

Année:

2014

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2014

5

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Verification-driven slicing of UML/OCL models

Shaikh, Asadullah, Clarisó, Robert, Wiil, Uffe Kock, Memon, Nasrullah

Année:

2010

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2010

6

[ACM Press the 1st International Workshop - Montpellier, France (2018.09.03-2018.09.03)] Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018 - Applying graph kernels to model-driven engineering problems

Clarisó, Robert, Cabot, Jordi

Année:

2018

Langue:

english

Fichier:

PDF, 544 KB

english, 2018

7

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Extracting software product line feature models from natural language specifications

Sree-Kumar, Anjali, Planas, Elena, Clarisó, Robert

Année:

2018

Langue:

english

Fichier:

PDF, 713 KB

english, 2018

8

Verification and validation of declarative model-to-model transformations through invariants

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Journal:

Journal of Systems and Software

Année:

2010

Langue:

english

Fichier:

PDF, 1.53 MB

english, 2010

9

The octahedron abstract domain

Robert Clarisó, Jordi Cortadella

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 876 KB

english, 2007

10

[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - EMFtoCSP: A tool for the lightweight verification of EMF models

Gonzalez, Carlos A., Buttner, Fabian, Clariso, Robert, Cabot, Jordi

Année:

2012

Langue:

english

Fichier:

PDF, 1.33 MB

english, 2012

11

Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support

Baneres, David, Clariso, Robert, Jorba, Josep, Serra, Montse

Journal:

IEEE Transactions on Learning Technologies

Année:

2014

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2014

12

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - UMLtoCSP

Cabot, Jordi, Clarisó, Robert, Riera, Daniel

Année:

2007

Langue:

english

Fichier:

PDF, 547 KB

english, 2007

13

Backwards reasoning for model transformations: method and applications

Clarisó, Robert, Cabot, Jordi, Guerra, Esther, de Lara, Juan

Journal:

Journal of Systems and Software

Année:

2015

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2015

14

[IEEE 2016 International Conference on Intelligent Networking and Collaborative Systems (INCoS) - Ostrawva, Czech Republic (2016.9.7-2016.9.9)] 2016 International Conference on Intelligent Networking and Collaborative Systems (INCoS) - A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification

Ganan, David, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Année:

2016

Langue:

english

Fichier:

PDF, 296 KB

english, 2016

15

Constraint programming for type inference in flexible model-driven engineering

Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.

Journal:

Computer Languages, Systems & Structures

Année:

2016

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2016

16

[IEEE 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Fukuoka, Japan (2016.7.6-2016.7.8)] 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification

Ganan, David, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Année:

2016

Langue:

english

Fichier:

PDF, 314 KB

english, 2016

17

Smart Bound Selection for the Verification of UML/OCL Class Diagrams

Clariso, Robert, Gonzalez, Carlos A., Cabot, Jordi

Journal:

IEEE Transactions on Software Engineering

Année:

2017

Langue:

english

Fichier:

PDF, 830 KB

english, 2017

18

[IEEE 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS) - Austin, TX (2017.9.17-2017.9.22)] 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Translating Target to Source Constraints in Model-to-Model Transformations

Cuadrado, Jesus Sanchez, Guerra, Esther, de Lara, Juan, Clariso, Robert, Cabot, Jordi

Année:

2017

Langue:

english

Fichier:

PDF, 551 KB

english, 2017

19

[IEEE 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Coimbra (2018.9.4-2018.9.7)] 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Fixing Defects in Integrity Constraints via Constraint Mutation

Clariso, Robert, Cabot, Jordi

Année:

2018

Langue:

english

Fichier:

PDF, 164 KB

english, 2018

20

[IEEE 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Montreal, QC, Canada (2019.5.26-2019.5.27)] 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Belief Uncertainty in Software Models

Burgueno, Loli, Clariso, Robert, Cabot, Jordi, Gerard, Sebastien, Vallecillo, Antonio

Année:

2019

Fichier:

PDF, 1.57 MB

2019